(0 19 15)(1 17 7)(2 20 4)(3 10 8)(5 13 12)(6 18 16)(9 14 11)
ALLOWS (11/8)-SEQUENCE
1: (5 13 20)
(0 19 15)(1 17 7)(2 20 12 5 4)(3 10 8)(6 18 16)(9 14 11)(13)
2: (1 17 7)
(0 19 15)(1)(2 20 12 5 4)(3 10 8)(6 18 16)(7)(9 14 11)(13)(17)
3: (4 12 5)
(0 19 15)(1)(2 20 12)(3 10 8)(4)(5)(6 18 16)(7)(9 14 11)(13)(17)
4: (0 19 15)
(0)(1)(2 20 12)(3 10 8)(4)(5)(6 18 16)(7)(9 14 11)(13)(15)(17)(19)